Res Publica: The Universal Model of Computation
نویسنده
چکیده
We proffer a model of computation that encompasses a broad variety of contemporary generic models, such as cellular automata—including dynamic ones, and abstract state machines— incorporating, as they do, interaction and parallelism. We ponder what it means for such an intertwined system to be effective and note that the suggested framework is ideal for representing continuous-time and asynchronous systems. 1998 ACM Subject Classification F.1.1 Models of Computation
منابع مشابه
Arrow theorems in the fuzzy setting
Throughout this paper, our main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical mod...
متن کاملE-RES: A System for Reasoning about Actions, Events and Observations
E-RES is a system that implements the Language E , a logic for reasoning about narratives of action occurrences and observations. E ’s semantics is modeltheoretic, but this implementation is based on a sound and complete reformulation of E in terms of argumentation, and uses general computational techniques of argumentation frameworks. The system derives sceptical non-monotonic consequences of ...
متن کاملAn Estimation of Required Rotational Torque to Operate Horizontal Directional Drilling Using Rock Engineering Systems
Horizontal directional drilling (HDD) is widely used in soil and rock engineering. In a variety of conditions, it is necessary to estimate the torque required for performing the reaming operation. Nevertheless, there is not presently a convenient method to accomplish this task. In this paper, to overcome this difficulty based on the basic concepts of rock engineering systems (RES), a model for ...
متن کاملA New Continuous Multi-State Reliability Model with Time Dependent Component Performance Rate
A CSS1†is a system with the continues-state components. When a component has the ability to obtain all the situations from completely working to completely failed, it named continues-state component. In the real world, performance rate of elements are continuous and decrease by time. Continuity of components causes infinite working states and grows up the system states. In this paper we propose...
متن کاملA fast model for prediction of respiratory lung motion for image-guided radiotherapy: A feasibility study
Background: The aim of this work was to study the feasibility of constructing a fast thorax model suitable for simulating lung motion due to respiration using only one CT dataset. Materials and Methods: For each of six patients with different thorax sizes, two sets of CT images were obtained in single-breath-hold inhale and exhale stages in the supine position. The CT images were then ...
متن کامل